Markus Müller-Olm
Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (1997)
By
Markus Müller-Olm
Paperback
AED
279
52
AED 646.00
56% OFF
Turbo
Free Delivery
13 - 14 Nov
Variations on Constants: Flow Analysis of Sequential and Parallel Programs (2006)
By
Markus Müller-Olm
Paperback
AED
276
36
AED 697.00
60% OFF
Turbo
Free Delivery
13 - 14 Nov